# coding=utf-8

import sys

def main() -> None:
    print("Hello from mypy!")
    print(sys.version)
    print(sys.executable)


def MyAdd(a: int, b: int) -> int:
    """Adds two integers."""
    return a + b


if __name__ == "__main__":
    print(MyAdd(1, 2))  # This will raise a type error if type checking is enabled
    main()
